norm\_subset\_p($g$;$s$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$a$, $b$:$\mid$$g$$\mid$. ($s$($b$)) $\Rightarrow$ ($s$(($\sim$($a$)) $\ast$ ($b$ $\ast$ $a$)))